机译:术语树在AND-EXOR和AND-OR电路的有效和高效ATPG中的应用
机译:用于证明RSFQ电路的性能的有效和高效的自动测试模式生成(ATPG)范式
机译:基于SAT的ATPG的高效数据结构和方法,可在工业应用中提供较高的故障覆盖率
机译:关于使用术语树进行有效且高效的测试模式生成
机译:一种新的ATPG算法,可生成紧凑的测试集,以检测VLSI电路中的静态和动态缺陷。
机译:基于Max-SAT的ATPG在最佳癌症治疗设计中的应用
机译:应用于aND-EXOR和aND-OR电路的有效和高效aTpG的术语树
机译:组合混合定制可编程电路逆向工程的aTpG攻击。